int lib();
